Auto merge of #3355 - alexcrichton:change-buckets, r=alexcrichton
authorbors <bors@rust-lang.org>
Thu, 1 Dec 2016 19:01:17 +0000 (19:01 +0000)
committerbors <bors@rust-lang.org>
Thu, 1 Dec 2016 19:01:17 +0000 (19:01 +0000)
Upload to a different bucket


Trivial merge